A Model Driven Analysis of the 802.11 CSMA/CA Protocol through SD2PN
نویسندگان
چکیده
Unified Modelling Language (UML) has been conferred as the de facto standard in modeling by majority in the software system development community. Among the various types of diagrams that exist under the umbrella of UML is Sequence Diagram. Sequence Diagrams are capable of modeling interactional behaviours as well as dynamic happenings in a system, and as such are generally used in the modeling of complex software systems. However in this paper, Sequence Diagrams are used in the modeling of the IEEE 802.11 Carrier Sense Multiple Access with Collision Avoidance (CSMA/CA) protocol. The Sequence Diagram representing this protocol will then be used for formal, mathematical analysis by first transforming the Sequence Diagram through the MDA model transformation tool called SD2PN, and performing analysis such as liveness analysis, boundedness analysis and reachability analysis of the resulting Petri Net.
منابع مشابه
Specification and Analysis of the DCF Protocol in the 802.11 Standard using Systems of Communicating Machines
The 802.11 specification is an emerging standard for WLANs. In this paper, we propose a formal model for a section of the 802.11 MAC protocol using systems of communicating machines. We model the ad-hoc mode of the DCF, i.e., CSMA/CA protocol and the MACA1 using RTS/CTS sequences. Each station is modelled as a finite state machine which has a set of local variables, and the Wireless Medium is m...
متن کاملPerformance of Carrier Sense Multiple Access with Collision Avoidance Protocols in Wireless LANs
The performance of Carrier Sense Multiple Access/Collision Avoidance (CSMA/CA) protocols, which is adopted as a draft standard in IEEE 802.11, is analyzed in the view of throughput and packet delay. We consider three kinds of CSMA/CA protocols, which include Basic, Stop-and-Wait and 4-Way Handshake CSMA/CA, and introduce a theoretical analysis for them. First, we consider that a network consist...
متن کاملSpecification and Analysis of the DCF and PCF Protocols in the 802.11 Standard Using Systems of Communicating Machines
We propose formal models for coordination functions of the 802.11 MAC layer using systems of communicating machines and analyze them. We model the basic DCF (CSMA/CA) protocol, the DCF protocol with RTS/CTS (MACA), and the PCF protocol. Analyses show the following safety results: the CSMA/CA protocol is free from deadlocks and non-executable transitions, the MACA has a potential livelock, but i...
متن کاملPerformance Analysis of CSMA/CA(Carrier Sense Multiple Access with Collision Avoidance) Protocols for Wireless Local Area Networks in Multipath and Shadowing Environments
The channel throughput and packet delay of wireless media access control (MAC) protocols with Rayleigh fading, shadowing and capture effect are analyzed. We consider CSMA/CA protocols as the wireless MAC protocols, since CSMA/CA protocols are based on the standard for wireless Local Area Networks (LANs) IEEE 802.11. We analyze the channel throughput and packet delay for three types of CSMA/CA p...
متن کاملParallel contention algorithm with CSMA/CA for OFDM based high speed wireless LANs
The data rates of wireless networks are getting faster and faster. With this trend, IEEE 802.11a, published in 1999 to provide faster data transmission rates, is one of the strongly considered next generation wireless LAN standards. It uses CSMA/CA as the medium access control protocol and OFDM as the physical layer technology. In this paper, to enhance the throughput performance of CSMA/CA pro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014